A Double Categorical Model of Weak 2-categories
نویسندگان
چکیده
We introduce the notion of weakly globular double categories, a particular class of strict double categories, as a way to model weak 2-categories. We show that this model is suitably equivalent to bicategories and give an explicit description of the functors involved in this biequivalence. As an application we show that groupoidal weakly globular double categories model homotopy 2-types.
منابع مشابه
Categorical Frameworks for Graph Transformation and HLR Systems Based on the DPO Approach
Several variants of high-level replacement (HLR) and adhesive categories have been introduced in the literature as categorical frameworks for graph transformation and HLR systems based on the double pushout (DPO) approach. In addition to HLR, adhesive, and adhesive HLR categories several weak variants, especially weak adhesive HLR with horizontal and vertical variants, as well as partial varian...
متن کاملCategorical Models for Quantum Computing
Monoidal dagger compact categories were proposed by Samson Abramsky and Bob Coecke in [1] as a mathematical model for quantum theory. This is an alternative to, and a generalisations of, the Hilbert space model. Together with their colleagues, they have extended this to a versatile framework for quantum computing. Recently, Jamie Vicary has proposed an alternative framework in terms of weak 2-c...
متن کاملConstruction and Properties of Adhesive and Weak Adhesive High-Level Replacement Categories
As presented in Ehrig et al. (Fundamentals of Algebraic Graph Transformation, EATCS Monographs, Springer, 2006), adhesive high-level replacement (HLR) categories and systems are an adequate framework for several kinds of transformation systems based on the double pushout approach. Since (weak) adhesive HLR categories are closed under product, slice, coslice, comma and functor category construct...
متن کاملWeakly Globular N - Fold Categories as a Model of Weak N - Categories Simona
We study a new type of higher categorical structure, called weakly globular n-fold category, previously introduced by the author. We show that this structure is a model of weak ncategories by proving that it is suitably equivalent to the TamsamaniSimpson model. We also introduce groupoidal weakly globular nfold categories and show that they are algebraic models of n-types.
متن کاملA unified account of categorical effects in phonetic perception.
Categorical effects are found across speech sound categories, with the degree of these effects ranging from extremely strong categorical perception in consonants to nearly continuous perception in vowels. We show that both strong and weak categorical effects can be captured by a unified model. We treat speech perception as a statistical inference problem, assuming that listeners use their knowl...
متن کامل